1. Applications of neural networks in high assurance systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Neural networks (Computer science) ; System safety. ; Expert systems (Computer science) ; Validation. ; Expert systems (Computer science) ; Verification. ; Sicherheitskritisches System ; swd. ; Adaptivregelung ; swd. ; Neuronales Netz ; swd. ; Reglerentwu
2. Applications of neural networks in high assurance systems
پدیدآورنده : / Johann Schumann, Yan Liu (Eds.)
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Neural networks (Computer science)
رده :
006
.
3
A652
2010
3. Automated theorem proving in software engineering
پدیدآورنده : Schumann, Johann M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
4. Automated theorem proving in software engineering
پدیدآورنده : Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: (Mazandaran)
موضوع : Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001
